15 research outputs found

    Analysis and Verification of Service Contracts

    Get PDF

    A Test Harness for a Control Software

    No full text

    Classification of SOA Contract Specification Languages

    No full text

    Compositionality and Compatibility of Service Contracts

    No full text

    Operational Semantics for BPEL Complex Features in Rewriting Logic

    No full text

    Analyzing Web Service Contracts:an aspect oriented approach

    No full text

    Developing a TTCN-3 Test Harness for Legacy Software

    No full text
    corecore